- formally incomplete theory
- формально неполная теория
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formally incomplete theory
Смотреть что такое "formally incomplete theory" в других словарях:
Theory of everything — A theory of everything (TOE) is a putative theory of theoretical physics that fully explains and links together all known physical phenomena. Initially, the term was used with an ironic connotation to refer to various overgeneralized theories.… … Wikipedia
Domain theory — is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science,… … Wikipedia
An Exceptionally Simple Theory of Everything — is a preprint proposing a basis for a unified field theory, named E8 Theory , which attempts to describe all known fundamental interactions in physics, and to stand as a possible theory of everything. The preprint was posted to the physics arXiv… … Wikipedia
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
String theory — This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory … Wikipedia
Game theory — is a branch of applied mathematics that is used in the social sciences (most notably economics), biology, engineering, political science, computer science (mainly for artificial intelligence), and philosophy. Game theory attempts to… … Wikipedia
Dempster–Shafer theory — Prof Arthur P. Dempster at the workshop on Belief Function Theory (Brest 1 april 2010). The Dempster–Shafer theory (DST) is a mathematical theory of evidence.[1] It allows … Wikipedia
Dempster-Shafer theory — The Dempster Shafer theory is a mathematical theory of evidenceShafer, Glenn; A Mathematical Theory of Evidence , Princeton University Press, 1976, ISBN 0 608 02508 9] based on belief functions and plausible reasoning , which is used to combine… … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Field electron emission — It is requested that a diagram or diagrams be included in this article to improve its quality. For more information, refer to discussion on this page and/or the listing at Wikipedia:Requested images. Field emission (FE) (also known as field… … Wikipedia
